package org.matheclipse.core.integrate.rubi45;


import static org.matheclipse.core.expression.F.*;
import static org.matheclipse.core.integrate.rubi45.UtilityFunctionCtors.*;
import static org.matheclipse.core.integrate.rubi45.UtilityFunctions.*;
import org.matheclipse.core.interfaces.IAST;

/** 
 * IndefiniteIntegrationRules from the <a href="http://www.apmaths.uwo.ca/~arich/">Rubi -
 * rule-based integrator</a>.
 *  
 */
public class IntRules42 { 
  public static IAST RULES = List( 
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(Times(b,c),Times(CN1,a,d)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Times(a,b,f,Plus(Times(C2,m),C1)),-1)),Times(Power(Times(Sqr(b),Plus(Times(C2,m),C1)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Simp(Plus(Times(ASymbol,Plus(Times(b,d,m),Times(a,c,Plus(m,C1)))),Times(BSymbol,Plus(Times(b,c),Times(CN1,a,d)),m),Times(b,BSymbol,d,Plus(Times(C2,m),C1),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),RationalQ(m)),Less(m,CN1D2)))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(Times(b,c),Times(CN1,a,d)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Times(a,b,f,Plus(Times(C2,m),C1)),-1)),Times(Power(Times(Sqr(b),Plus(Times(C2,m),C1)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Simp(Plus(Times(ASymbol,Plus(Times(b,d,m),Times(a,c,Plus(m,C1)))),Times(BSymbol,Plus(Times(b,c),Times(CN1,a,d)),m),Times(b,BSymbol,d,Plus(Times(C2,m),C1),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),RationalQ(m)),Less(m,CN1D2)))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CN1,BSymbol,d,Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(m,C2)),-1)),Times(Power(Times(b,Plus(m,C2)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Simp(Plus(Times(b,Plus(Times(ASymbol,c,Plus(m,C2)),Times(BSymbol,d,Plus(m,C1)))),Times(Plus(Times(ASymbol,b,d,Plus(m,C2)),Times(CN1,BSymbol,Plus(Times(a,d),Times(CN1,b,c,Plus(m,C2))))),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1D2)))))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT)),x_Symbol),
    Condition(Plus(Times(BSymbol,d,Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(m,C2)),-1)),Times(Power(Times(b,Plus(m,C2)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Simp(Plus(Times(b,Plus(Times(ASymbol,c,Plus(m,C2)),Times(BSymbol,d,Plus(m,C1)))),Times(Plus(Times(ASymbol,b,d,Plus(m,C2)),Times(CN1,BSymbol,Plus(Times(a,d),Times(CN1,b,c,Plus(m,C2))))),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1D2)))))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(Times(b,c),Times(CN1,a,d)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1)),Times(Power(Times(b,Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Simp(Plus(Times(b,Plus(Times(ASymbol,Plus(Times(a,c),Times(CN1,b,d))),Times(CN1,BSymbol,Plus(Times(b,c),Times(CN1,a,d)))),Plus(m,C1)),Times(CN1,Plus(Times(ASymbol,b,Plus(Times(b,c),Times(CN1,a,d)),Plus(m,C2)),Times(CN1,BSymbol,Plus(Times(a,b,c,Plus(m,C2)),Times(CN1,d,Plus(Sqr(a),Times(Sqr(b),Plus(m,C1))))))),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),RationalQ(m)),Less(m,CN1)))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(Times(b,c),Times(CN1,a,d)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1)),Times(Power(Times(b,Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Simp(Plus(Times(b,Plus(Times(ASymbol,Plus(Times(a,c),Times(CN1,b,d))),Times(CN1,BSymbol,Plus(Times(b,c),Times(CN1,a,d)))),Plus(m,C1)),Times(CN1,Plus(Times(ASymbol,b,Plus(Times(b,c),Times(CN1,a,d)),Plus(m,C2)),Times(CN1,BSymbol,Plus(Times(a,b,c,Plus(m,C2)),Times(CN1,d,Plus(Sqr(a),Times(Sqr(b),Plus(m,C1))))))),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),RationalQ(m)),Less(m,CN1)))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CN1,BSymbol,d,Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(m,C2)),-1)),Times(Power(Times(b,Plus(m,C2)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Simp(Plus(Times(b,Plus(Times(ASymbol,c,Plus(m,C2)),Times(BSymbol,d,Plus(m,C1)))),Times(Plus(Times(ASymbol,b,d,Plus(m,C2)),Times(CN1,BSymbol,Plus(Times(a,d),Times(CN1,b,c,Plus(m,C2))))),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1)))),Not(And(ZeroQ(c),OneQ(m)))))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT)),x_Symbol),
    Condition(Plus(Times(BSymbol,d,Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Times(b,f,Plus(m,C2)),-1)),Times(Power(Times(b,Plus(m,C2)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Simp(Plus(Times(b,Plus(Times(ASymbol,c,Plus(m,C2)),Times(BSymbol,d,Plus(m,C1)))),Times(Plus(Times(ASymbol,b,d,Plus(m,C2)),Times(CN1,BSymbol,Plus(Times(a,d),Times(CN1,b,c,Plus(m,C2))))),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),Not(And(RationalQ(m),Less(m,CN1)))),Not(And(ZeroQ(c),OneQ(m)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Power(Times(a,f,Plus(Times(C2,m),C1)),-1)),Times(Plus(Times(ASymbol,b,Plus(m,n,C1)),Times(a,BSymbol,Plus(m,Negate(n)))),Power(Times(a,b,Plus(Times(C2,m),C1)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),ZeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Less(m,CN1D2)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_DEFAULT)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Power(Times(a,f,Plus(Times(C2,m),C1)),-1)),Times(Plus(Times(ASymbol,b,Plus(m,n,C1)),Times(a,BSymbol,Plus(m,Negate(n)))),Power(Times(a,b,Plus(Times(C2,m),C1)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),ZeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Less(m,CN1D2)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,BSymbol,Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Power(Times(f,Plus(m,n,C1)),-1)),Times(Plus(Times(ASymbol,d,Plus(m,n,C1)),Times(CN1,BSymbol,c,Plus(m,Negate(n)))),Power(Times(d,Plus(m,n,C1)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),ZeroQ(Plus(Sqr(c),Negate(Sqr(d))))),Not(And(RationalQ(m),Less(m,CN1D2)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_DEFAULT),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(BSymbol,Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Power(Times(f,Plus(m,n,C1)),-1)),Times(Plus(Times(ASymbol,d,Plus(m,n,C1)),Times(CN1,BSymbol,c,Plus(m,Negate(n)))),Power(Times(d,Plus(m,n,C1)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),ZeroQ(Plus(Sqr(c),Negate(Sqr(d))))),Not(And(RationalQ(m),Less(m,CN1D2)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Times(Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(m,n,C2))),ZeroQ(Plus(Times(ASymbol,Plus(Times(a,d,m),Times(b,c,Plus(n,C1)))),Times(CN1,BSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1))))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Times(CN1,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(m,n,C2))),ZeroQ(Plus(Times(ASymbol,Plus(Times(a,d,m),Times(b,c,Plus(n,C1)))),Times(CN1,BSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1))))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(b,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(a,f,Plus(Times(C2,m),C1),Plus(Times(b,c),Times(CN1,a,d))),-1)),Times(CN1,Plus(Times(ASymbol,Plus(Times(a,d,m),Times(CN1,b,c,Plus(m,C1)))),Times(CN1,BSymbol,Plus(Times(a,c,m),Times(CN1,b,d,Plus(m,C1))))),Power(Times(a,Plus(Times(C2,m),C1),Plus(Times(b,c),Times(CN1,a,d))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(m,n,C2))),RationalQ(m)),LessEqual(m,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,b,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(a,f,Plus(Times(C2,m),C1),Plus(Times(b,c),Times(CN1,a,d))),-1)),Times(CN1,Plus(Times(ASymbol,Plus(Times(a,d,m),Times(CN1,b,c,Plus(m,C1)))),Times(CN1,BSymbol,Plus(Times(a,c,m),Times(CN1,b,d,Plus(m,C1))))),Power(Times(a,Plus(Times(C2,m),C1),Plus(Times(b,c),Times(CN1,a,d))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(m,n,C2))),RationalQ(m)),LessEqual(m,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),Times(Plus(Times(ASymbol,Plus(Times(a,d,m),Times(b,c,Plus(n,C1)))),Times(CN1,BSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1))))),Power(Times(b,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1))),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(m,n,C2))),Not(And(RationalQ(m),LessEqual(m,CN1)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),Times(Plus(Times(ASymbol,Plus(Times(a,d,m),Times(b,c,Plus(n,C1)))),Times(CN1,BSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1))))),Power(Times(b,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1))),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(m,n,C2))),Not(And(RationalQ(m),LessEqual(m,CN1)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Times(CN2,b,BSymbol,Cos(Plus(e,Times(f,x))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(Times(C2,n),C3),Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))))),-1)),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(Times(ASymbol,b,d,Plus(Times(C2,n),C3)),Times(CN1,BSymbol,Plus(Times(b,c),Times(CN1,C2,a,d,Plus(n,C1))))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Times(C2,b,BSymbol,Sin(Plus(e,Times(f,x))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(Times(C2,n),C3),Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))))),-1)),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(Times(ASymbol,b,d,Plus(Times(C2,n),C3)),Times(CN1,BSymbol,Plus(Times(b,c),Times(CN1,C2,a,d,Plus(n,C1))))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Sqr(b),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Cos(Plus(e,Times(f,x))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Times(b,c),Times(a,d)),Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))))),-1)),Times(Plus(Times(ASymbol,b,d,Plus(Times(C2,n),C3)),Times(CN1,BSymbol,Plus(Times(b,c),Times(CN1,C2,a,d,Plus(n,C1))))),Power(Times(C2,d,Plus(n,C1),Plus(Times(b,c),Times(a,d))),-1),Int(Times(Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x)))))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1))),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),NonzeroQ(Plus(Times(ASymbol,b,d,Plus(Times(C2,n),C3)),Times(CN1,BSymbol,Plus(Times(b,c),Times(CN1,C2,a,d,Plus(n,C1))))))),RationalQ(n)),Less(n,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Sqr(b),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Sin(Plus(e,Times(f,x))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Times(b,c),Times(a,d)),Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))))),-1)),Times(Plus(Times(ASymbol,b,d,Plus(Times(C2,n),C3)),Times(CN1,BSymbol,Plus(Times(b,c),Times(CN1,C2,a,d,Plus(n,C1))))),Power(Times(C2,d,Plus(n,C1),Plus(Times(b,c),Times(a,d))),-1),Int(Times(Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x)))))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1))),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),NonzeroQ(Plus(Times(ASymbol,b,d,Plus(Times(C2,n),C3)),Times(CN1,BSymbol,Plus(Times(b,c),Times(CN1,C2,a,d,Plus(n,C1))))))),RationalQ(n)),Less(n,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN2,b,BSymbol,Cos(Plus(e,Times(f,x))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(Times(C2,n),C3),Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))))),-1)),Times(Plus(Times(ASymbol,b,d,Plus(Times(C2,n),C3)),Times(CN1,BSymbol,Plus(Times(b,c),Times(CN1,C2,a,d,Plus(n,C1))))),Power(Times(b,d,Plus(Times(C2,n),C3)),-1),Int(Times(Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x)))))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),NonzeroQ(Plus(Times(ASymbol,b,d,Plus(Times(C2,n),C3)),Times(CN1,BSymbol,Plus(Times(b,c),Times(CN1,C2,a,d,Plus(n,C1))))))),Not(And(RationalQ(n),Less(n,CN1)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(C2,b,BSymbol,Sin(Plus(e,Times(f,x))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(Times(C2,n),C3),Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))))),-1)),Times(Plus(Times(ASymbol,b,d,Plus(Times(C2,n),C3)),Times(CN1,BSymbol,Plus(Times(b,c),Times(CN1,C2,a,d,Plus(n,C1))))),Power(Times(b,d,Plus(Times(C2,n),C3)),-1),Int(Times(Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x)))))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),NonzeroQ(Plus(Times(ASymbol,b,d,Plus(Times(C2,n),C3)),Times(CN1,BSymbol,Plus(Times(b,c),Times(CN1,C2,a,d,Plus(n,C1))))))),Not(And(RationalQ(n),Less(n,CN1)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Sqr(b),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Times(b,c),Times(a,d))),-1)),Times(CN1,b,Power(Times(d,Plus(n,C1),Plus(Times(b,c),Times(a,d))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(a,ASymbol,d,Plus(m,Negate(n),Negate(C2))),Times(CN1,BSymbol,Plus(Times(a,c,Plus(m,Negate(C1))),Times(b,d,Plus(n,C1)))),Times(CN1,Plus(Times(ASymbol,b,d,Plus(m,n,C1)),Times(CN1,BSymbol,Plus(Times(b,c,m),Times(CN1,a,d,Plus(n,C1))))),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m,n)),Greater(m,C1D2)),Less(n,CN1)),IntegerQ(Times(C2,m))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Sqr(b),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Times(b,c),Times(a,d))),-1)),Times(CN1,b,Power(Times(d,Plus(n,C1),Plus(Times(b,c),Times(a,d))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(a,ASymbol,d,Plus(m,Negate(n),Negate(C2))),Times(CN1,BSymbol,Plus(Times(a,c,Plus(m,Negate(C1))),Times(b,d,Plus(n,C1)))),Times(CN1,Plus(Times(ASymbol,b,d,Plus(m,n,C1)),Times(CN1,BSymbol,Plus(Times(b,c,m),Times(CN1,a,d,Plus(n,C1))))),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m,n)),Greater(m,C1D2)),Less(n,CN1)),IntegerQ(Times(C2,m))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,b,BSymbol,Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n,C1)),-1)),Times(Power(Times(d,Plus(m,n,C1)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Simp(Plus(Times(a,ASymbol,d,Plus(m,n,C1)),Times(BSymbol,Plus(Times(a,c,Plus(m,Negate(C1))),Times(b,d,Plus(n,C1)))),Times(Plus(Times(ASymbol,b,d,Plus(m,n,C1)),Times(CN1,BSymbol,Plus(Times(b,c,m),Times(CN1,a,d,Plus(Times(C2,m),n))))),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Greater(m,C1D2)),Not(And(RationalQ(n),Less(n,CN1)))),IntegerQ(Times(C2,m))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(b,BSymbol,Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n,C1)),-1)),Times(Power(Times(d,Plus(m,n,C1)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Simp(Plus(Times(a,ASymbol,d,Plus(m,n,C1)),Times(BSymbol,Plus(Times(a,c,Plus(m,Negate(C1))),Times(b,d,Plus(n,C1)))),Times(Plus(Times(ASymbol,b,d,Plus(m,n,C1)),Times(CN1,BSymbol,Plus(Times(b,c,m),Times(CN1,a,d,Plus(Times(C2,m),n))))),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Greater(m,C1D2)),Not(And(RationalQ(n),Less(n,CN1)))),IntegerQ(Times(C2,m))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Power(Times(a,f,Plus(Times(C2,m),C1)),-1)),Times(CN1,Power(Times(a,b,Plus(Times(C2,m),C1)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,Negate(C1))),Simp(Plus(Times(ASymbol,Plus(Times(a,d,n),Times(CN1,b,c,Plus(m,C1)))),Times(CN1,BSymbol,Plus(Times(a,c,m),Times(b,d,n))),Times(CN1,d,Plus(Times(a,BSymbol,Plus(m,Negate(n))),Times(ASymbol,b,Plus(m,n,C1))),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m,n)),Less(m,CN1D2)),Greater(n,C0)),IntegerQ(Times(C2,m))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Power(Times(a,f,Plus(Times(C2,m),C1)),-1)),Times(CN1,Power(Times(a,b,Plus(Times(C2,m),C1)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,Negate(C1))),Simp(Plus(Times(ASymbol,Plus(Times(a,d,n),Times(CN1,b,c,Plus(m,C1)))),Times(CN1,BSymbol,Plus(Times(a,c,m),Times(b,d,n))),Times(CN1,d,Plus(Times(a,BSymbol,Plus(m,Negate(n))),Times(ASymbol,b,Plus(m,n,C1))),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m,n)),Less(m,CN1D2)),Greater(n,C0)),IntegerQ(Times(C2,m))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(b,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(a,f,Plus(Times(C2,m),C1),Plus(Times(b,c),Times(CN1,a,d))),-1)),Times(Power(Times(a,Plus(Times(C2,m),C1),Plus(Times(b,c),Times(CN1,a,d))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Simp(Plus(Times(BSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(ASymbol,Plus(Times(b,c,Plus(m,C1)),Times(CN1,a,d,Plus(Times(C2,m),n,C2)))),Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),d,Plus(m,n,C2),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Less(m,CN1D2)),Not(And(RationalQ(n),Greater(n,C0)))),IntegerQ(Times(C2,m))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,b,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(a,f,Plus(Times(C2,m),C1),Plus(Times(b,c),Times(CN1,a,d))),-1)),Times(Power(Times(a,Plus(Times(C2,m),C1),Plus(Times(b,c),Times(CN1,a,d))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Simp(Plus(Times(BSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(ASymbol,Plus(Times(b,c,Plus(m,C1)),Times(CN1,a,d,Plus(Times(C2,m),n,C2)))),Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),d,Plus(m,n,C2),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Less(m,CN1D2)),Not(And(RationalQ(n),Greater(n,C0)))),IntegerQ(Times(C2,m))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(Times(b,c),Times(CN1,a,d)),-1),Int(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),CN1D2),x)),Times(Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Power(Plus(Times(b,c),Times(CN1,a,d)),-1),Int(Times(Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x)))))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Sqrt(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(Times(b,c),Times(CN1,a,d)),-1),Int(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),CN1D2),x)),Times(Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Power(Plus(Times(b,c),Times(CN1,a,d)),-1),Int(Times(Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x)))))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Sqrt(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(BSymbol,Power(b,-1),Int(Times(Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x)))))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),CN1D2)),x)),Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(b,-1),Int(Power(Times(Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x)))))),Sqrt(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))))),-1),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Sqrt(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(BSymbol,Power(b,-1),Int(Times(Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x)))))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),CN1D2)),x)),Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(b,-1),Int(Power(Times(Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x)))))),Sqrt(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))))),-1),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,BSymbol,Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Power(Times(f,Plus(m,n,C1)),-1)),Times(Power(Times(b,Plus(m,n,C1)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,Negate(C1))),Simp(Plus(Times(ASymbol,b,c,Plus(m,n,C1)),Times(BSymbol,Plus(Times(a,c,m),Times(b,d,n))),Times(Plus(Times(ASymbol,b,d,Plus(m,n,C1)),Times(BSymbol,Plus(Times(a,d,m),Times(b,c,n)))),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(n)),Greater(n,C0)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(BSymbol,Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Power(Times(f,Plus(m,n,C1)),-1)),Times(Power(Times(b,Plus(m,n,C1)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,Negate(C1))),Simp(Plus(Times(ASymbol,b,c,Plus(m,n,C1)),Times(BSymbol,Plus(Times(a,c,m),Times(b,d,n))),Times(Plus(Times(ASymbol,b,d,Plus(m,n,C1)),Times(BSymbol,Plus(Times(a,d,m),Times(b,c,n)))),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(n)),Greater(n,C0)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),-1)),x_Symbol),
    Condition(Plus(Times(BSymbol,Power(d,-1),Int(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),x)),Times(CN1,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Power(d,-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),-1)),x_Symbol),
    Condition(Plus(Times(BSymbol,Power(d,-1),Int(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),x)),Times(CN1,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Power(d,-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),-1)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),Times(Power(Times(b,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(ASymbol,Plus(Times(a,d,m),Times(b,c,Plus(n,C1)))),Times(CN1,BSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(b,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Plus(m,n,C2),Sin(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(n)),Less(n,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),Times(Power(Times(b,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(ASymbol,Plus(Times(a,d,m),Times(b,c,Plus(n,C1)))),Times(CN1,BSymbol,Plus(Times(a,c,m),Times(b,d,Plus(n,C1)))),Times(b,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Plus(m,n,C2),Cos(Plus(e,Times(f,x))))),x)),x))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(n)),Less(n,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(b,-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n)),x)),Times(BSymbol,Power(b,-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(b,-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),m),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n)),x)),Times(BSymbol,Power(b,-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n)),x))),And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,m),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),ZeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),Times(Power(Times(d,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,Negate(C2))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(b,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Plus(m,Negate(C1))),Times(a,d,Plus(Times(a,ASymbol,c),Times(b,BSymbol,c),Times(CN1,Plus(Times(ASymbol,b),Times(a,BSymbol)),d)),Plus(n,C1)),Times(Plus(Times(b,Plus(Times(b,d,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d))),Times(a,Plus(Times(ASymbol,c,d),Times(BSymbol,Plus(Sqr(c),Times(CN1,C2,Sqr(d))))))),Plus(n,C1)),Times(CN1,a,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Plus(n,C2))),Sin(Plus(e,Times(f,x)))),Times(CN1,b,Plus(Times(d,Plus(Times(CN1,ASymbol,b,c),Times(CN1,a,BSymbol,c),Times(a,ASymbol,d)),Plus(m,n,C1)),Times(b,BSymbol,Plus(Times(Sqr(c),m),Times(Sqr(d),Plus(n,C1))))),Sqr(Sin(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m,n)),Greater(m,C1)),Less(n,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1)),Times(Power(Times(d,Plus(n,C1),Plus(Sqr(c),Negate(Sqr(d)))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,Negate(C2))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Simp(Plus(Times(b,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Plus(m,Negate(C1))),Times(a,d,Plus(Times(a,ASymbol,c),Times(b,BSymbol,c),Times(CN1,Plus(Times(ASymbol,b),Times(a,BSymbol)),d)),Plus(n,C1)),Times(Plus(Times(b,Plus(Times(b,d,Plus(Times(BSymbol,c),Times(CN1,ASymbol,d))),Times(a,Plus(Times(ASymbol,c,d),Times(BSymbol,Plus(Sqr(c),Times(CN1,C2,Sqr(d))))))),Plus(n,C1)),Times(CN1,a,Plus(Times(b,c),Times(CN1,a,d)),Plus(Times(BSymbol,c),Times(CN1,ASymbol,d)),Plus(n,C2))),Cos(Plus(e,Times(f,x)))),Times(CN1,b,Plus(Times(d,Plus(Times(CN1,ASymbol,b,c),Times(CN1,a,BSymbol,c),Times(a,ASymbol,d)),Plus(m,n,C1)),Times(b,BSymbol,Plus(Times(Sqr(c),m),Times(Sqr(d),Plus(n,C1))))),Sqr(Cos(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m,n)),Greater(m,C1)),Less(n,CN1)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,b,BSymbol,Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n,C1)),-1)),Times(Power(Times(d,Plus(m,n,C1)),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,Negate(C2))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Simp(Plus(Times(Sqr(a),ASymbol,d,Plus(m,n,C1)),Times(b,BSymbol,Plus(Times(b,c,Plus(m,Negate(C1))),Times(a,d,Plus(n,C1)))),Times(Plus(Times(a,Plus(Times(C2,ASymbol,b),Times(a,BSymbol)),d,Plus(m,n,C1)),Times(CN1,b,BSymbol,Plus(Times(a,c),Times(CN1,b,d,Plus(m,n))))),Sin(Plus(e,Times(f,x)))),Times(b,Plus(Times(ASymbol,b,d,Plus(m,n,C1)),Times(CN1,BSymbol,Plus(Times(b,c,m),Times(CN1,a,d,Plus(Times(C2,m),n))))),Sqr(Sin(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Greater(m,C1)),Not(And(And(IntegerQ(n),Greater(n,C1)),Or(Not(IntegerQ(m)),And(ZeroQ(a),NonzeroQ(c)))))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(b,BSymbol,Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,Negate(C1))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,C1)),Power(Times(d,f,Plus(m,n,C1)),-1)),Times(Power(Times(d,Plus(m,n,C1)),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,Negate(C2))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Simp(Plus(Times(Sqr(a),ASymbol,d,Plus(m,n,C1)),Times(b,BSymbol,Plus(Times(b,c,Plus(m,Negate(C1))),Times(a,d,Plus(n,C1)))),Times(Plus(Times(a,Plus(Times(C2,ASymbol,b),Times(a,BSymbol)),d,Plus(m,n,C1)),Times(CN1,b,BSymbol,Plus(Times(a,c),Times(CN1,b,d,Plus(m,n))))),Cos(Plus(e,Times(f,x)))),Times(b,Plus(Times(ASymbol,b,d,Plus(m,n,C1)),Times(CN1,BSymbol,Plus(Times(b,c,m),Times(CN1,a,d,Plus(Times(C2,m),n))))),Sqr(Cos(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol,n),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m)),Greater(m,C1)),Not(And(And(IntegerQ(n),Greater(n,C1)),Or(Not(IntegerQ(m)),And(ZeroQ(a),NonzeroQ(c)))))))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Sqrt(Plus(c_,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))),QQ(3L,2L))),-1)),x_Symbol),
    Condition(Times(CN2,ASymbol,Plus(c,Negate(d)),Tan(Plus(e,Times(f,x))),Power(Times(f,b,Sqr(c)),-1),Rt(Times(Plus(c,d),Power(b,-1)),C2),Sqrt(Times(c,Plus(C1,Csc(Plus(e,Times(f,x)))),Power(Plus(c,Negate(d)),-1))),Sqrt(Times(c,Plus(C1,Negate(Csc(Plus(e,Times(f,x))))),Power(Plus(c,d),-1))),EllipticE(ArcSin(Times(Sqrt(Plus(c,Times(d,Sin(Plus(e,Times(f,x)))))),Power(Times(b,Sin(Plus(e,Times(f,x)))),CN1D2),Power(Rt(Times(Plus(c,d),Power(b,-1)),C2),-1))),Times(CN1,Plus(c,d),Power(Plus(c,Negate(d)),-1)))),And(And(And(FreeQ(List(b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(ASymbol,Negate(BSymbol)))),PosQ(Times(Plus(c,d),Power(b,-1)))))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Sqrt(Plus(c_,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))),QQ(3L,2L))),-1)),x_Symbol),
    Condition(Times(C2,ASymbol,Plus(c,Negate(d)),Cot(Plus(e,Times(f,x))),Power(Times(f,b,Sqr(c)),-1),Rt(Times(Plus(c,d),Power(b,-1)),C2),Sqrt(Times(c,Plus(C1,Sec(Plus(e,Times(f,x)))),Power(Plus(c,Negate(d)),-1))),Sqrt(Times(c,Plus(C1,Negate(Sec(Plus(e,Times(f,x))))),Power(Plus(c,d),-1))),EllipticE(ArcSin(Times(Sqrt(Plus(c,Times(d,Cos(Plus(e,Times(f,x)))))),Power(Times(b,Cos(Plus(e,Times(f,x)))),CN1D2),Power(Rt(Times(Plus(c,d),Power(b,-1)),C2),-1))),Times(CN1,Plus(c,d),Power(Plus(c,Negate(d)),-1)))),And(And(And(FreeQ(List(b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(ASymbol,Negate(BSymbol)))),PosQ(Times(Plus(c,d),Power(b,-1)))))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Sqrt(Plus(c_,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))),QQ(3L,2L))),-1)),x_Symbol),
    Condition(Times(CN1,Sqrt(Times(CN1,b,Sin(Plus(e,Times(f,x))))),Power(Times(b,Sin(Plus(e,Times(f,x)))),CN1D2),Int(Times(Plus(ASymbol,Times(BSymbol,Sin(Plus(e,Times(f,x))))),Power(Times(Power(Times(CN1,b,Sin(Plus(e,Times(f,x)))),QQ(3L,2L)),Sqrt(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))))),-1)),x)),And(And(And(FreeQ(List(b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(ASymbol,Negate(BSymbol)))),NegQ(Times(Plus(c,d),Power(b,-1)))))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Sqrt(Plus(c_,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))))),Power(Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_)))),QQ(3L,2L))),-1)),x_Symbol),
    Condition(Times(CN1,Sqrt(Times(CN1,b,Cos(Plus(e,Times(f,x))))),Power(Times(b,Cos(Plus(e,Times(f,x)))),CN1D2),Int(Times(Plus(ASymbol,Times(BSymbol,Cos(Plus(e,Times(f,x))))),Power(Times(Power(Times(CN1,b,Cos(Plus(e,Times(f,x)))),QQ(3L,2L)),Sqrt(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))))),-1)),x)),And(And(And(FreeQ(List(b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(ASymbol,Negate(BSymbol)))),NegQ(Times(Plus(c,d),Power(b,-1)))))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),QQ(3L,2L)),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Times(CN2,ASymbol,Plus(c,Negate(d)),Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Power(Times(f,Sqr(Plus(Times(b,c),Times(CN1,a,d))),Rt(Times(Plus(a,b),Power(Plus(c,d),-1)),C2),Cos(Plus(e,Times(f,x)))),-1),Sqrt(Times(Plus(Times(b,c),Times(CN1,a,d)),Plus(C1,Sin(Plus(e,Times(f,x)))),Power(Times(Plus(c,Negate(d)),Plus(a,Times(b,Sin(Plus(e,Times(f,x)))))),-1))),Sqrt(Times(CN1,Plus(Times(b,c),Times(CN1,a,d)),Plus(C1,Negate(Sin(Plus(e,Times(f,x))))),Power(Times(Plus(c,d),Plus(a,Times(b,Sin(Plus(e,Times(f,x)))))),-1))),EllipticE(ArcSin(Times(Rt(Times(Plus(a,b),Power(Plus(c,d),-1)),C2),Sqrt(Plus(c,Times(d,Sin(Plus(e,Times(f,x)))))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),CN1D2))),Times(Plus(a,Negate(b)),Plus(c,d),Power(Times(Plus(a,b),Plus(c,Negate(d))),-1)))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(ASymbol,Negate(BSymbol)))),PosQ(Times(Plus(a,b),Power(Plus(c,d),-1)))))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),QQ(3L,2L)),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Times(C2,ASymbol,Plus(c,Negate(d)),Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Power(Times(f,Sqr(Plus(Times(b,c),Times(CN1,a,d))),Rt(Times(Plus(a,b),Power(Plus(c,d),-1)),C2),Sin(Plus(e,Times(f,x)))),-1),Sqrt(Times(Plus(Times(b,c),Times(CN1,a,d)),Plus(C1,Cos(Plus(e,Times(f,x)))),Power(Times(Plus(c,Negate(d)),Plus(a,Times(b,Cos(Plus(e,Times(f,x)))))),-1))),Sqrt(Times(CN1,Plus(Times(b,c),Times(CN1,a,d)),Plus(C1,Negate(Cos(Plus(e,Times(f,x))))),Power(Times(Plus(c,d),Plus(a,Times(b,Cos(Plus(e,Times(f,x)))))),-1))),EllipticE(ArcSin(Times(Rt(Times(Plus(a,b),Power(Plus(c,d),-1)),C2),Sqrt(Plus(c,Times(d,Cos(Plus(e,Times(f,x)))))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),CN1D2))),Times(Plus(a,Negate(b)),Plus(c,d),Power(Times(Plus(a,b),Plus(c,Negate(d))),-1)))),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(ASymbol,Negate(BSymbol)))),PosQ(Times(Plus(a,b),Power(Plus(c,d),-1)))))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Power(Plus(a_,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),QQ(3L,2L)),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Times(Sqrt(Plus(Negate(c),Times(CN1,d,Sin(Plus(e,Times(f,x)))))),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),CN1D2),Int(Times(Plus(ASymbol,Times(BSymbol,Sin(Plus(e,Times(f,x))))),Power(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),QQ(3L,2L)),Sqrt(Plus(Negate(c),Times(CN1,d,Sin(Plus(e,Times(f,x))))))),-1)),x)),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(ASymbol,Negate(BSymbol)))),NegQ(Times(Plus(a,b),Power(Plus(c,d),-1)))))),
ISetDelayed(Int(Times(Plus(A_,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Power(Plus(a_,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),QQ(3L,2L)),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Times(Sqrt(Plus(Negate(c),Times(CN1,d,Cos(Plus(e,Times(f,x)))))),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),CN1D2),Int(Times(Plus(ASymbol,Times(BSymbol,Cos(Plus(e,Times(f,x))))),Power(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),QQ(3L,2L)),Sqrt(Plus(Negate(c),Times(CN1,d,Cos(Plus(e,Times(f,x))))))),-1)),x)),And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),ZeroQ(Plus(ASymbol,Negate(BSymbol)))),NegQ(Times(Plus(a,b),Power(Plus(c,d),-1)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),QQ(3L,2L)),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(Plus(ASymbol,Negate(BSymbol)),Power(Plus(a,Negate(b)),-1),Int(Power(Times(Sqrt(Plus(a,Times(b,Sin(Plus(e,Times(f,x)))))),Sqrt(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))))),-1),x)),Times(CN1,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(a,Negate(b)),-1),Int(Times(Plus(C1,Sin(Plus(e,Times(f,x)))),Power(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),QQ(3L,2L)),Sqrt(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))))),-1)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),NonzeroQ(Plus(ASymbol,Negate(BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Times(Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),QQ(3L,2L)),Sqrt(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))))),-1)),x_Symbol),
    Condition(Plus(Times(Plus(ASymbol,Negate(BSymbol)),Power(Plus(a,Negate(b)),-1),Int(Power(Times(Sqrt(Plus(a,Times(b,Cos(Plus(e,Times(f,x)))))),Sqrt(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))))),-1),x)),Times(CN1,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Power(Plus(a,Negate(b)),-1),Int(Times(Plus(C1,Cos(Plus(e,Times(f,x)))),Power(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),QQ(3L,2L)),Sqrt(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))))),-1)),x))),And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),NonzeroQ(Plus(ASymbol,Negate(BSymbol)))))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§sin"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(Plus(Times(BSymbol,a),Times(CN1,ASymbol,b)),Cos(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),n),Power(Times(f,Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1)),Times(Power(Times(Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1),Int(Times(Power(Plus(a,Times(b,Sin(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Sin(Plus(e,Times(f,x))))),Plus(n,Negate(C1))),Simp(Plus(Times(c,Plus(Times(a,ASymbol),Times(CN1,b,BSymbol)),Plus(m,C1)),Times(d,n,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol))),Times(Plus(Times(d,Plus(Times(a,ASymbol),Times(CN1,b,BSymbol)),Plus(m,C1)),Times(CN1,c,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(m,C2))),Sin(Plus(e,Times(f,x)))),Times(CN1,d,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(m,n,C2),Sqr(Sin(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m,n)),Less(m,CN1)),Greater(n,C0)))),
ISetDelayed(Int(Times(Plus(A_DEFAULT,Times(B_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),Power(Plus(a_DEFAULT,Times(b_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),m_),Power(Plus(c_DEFAULT,Times(d_DEFAULT,$($s("§cos"),Plus(e_DEFAULT,Times(f_DEFAULT,x_))))),n_)),x_Symbol),
    Condition(Plus(Times(CN1,Plus(Times(BSymbol,a),Times(CN1,ASymbol,b)),Sin(Plus(e,Times(f,x))),Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),n),Power(Times(f,Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1)),Times(Power(Times(Plus(m,C1),Plus(Sqr(a),Negate(Sqr(b)))),-1),Int(Times(Power(Plus(a,Times(b,Cos(Plus(e,Times(f,x))))),Plus(m,C1)),Power(Plus(c,Times(d,Cos(Plus(e,Times(f,x))))),Plus(n,Negate(C1))),Simp(Plus(Times(c,Plus(Times(a,ASymbol),Times(CN1,b,BSymbol)),Plus(m,C1)),Times(d,n,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol))),Times(Plus(Times(d,Plus(Times(a,ASymbol),Times(CN1,b,BSymbol)),Plus(m,C1)),Times(CN1,c,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(m,C2))),Cos(Plus(e,Times(f,x)))),Times(CN1,d,Plus(Times(ASymbol,b),Times(CN1,a,BSymbol)),Plus(m,n,C2),Sqr(Cos(Plus(e,Times(f,x)))))),x)),x))),And(And(And(And(And(And(FreeQ(List(a,b,c,d,e,f,ASymbol,BSymbol),x),NonzeroQ(Plus(Times(b,c),Times(CN1,a,d)))),NonzeroQ(Plus(Sqr(a),Negate(Sqr(b))))),NonzeroQ(Plus(Sqr(c),Negate(Sqr(d))))),RationalQ(m,n)),Less(m,CN1)),Greater(n,C0))))
  );
}
